$<\mathbb{Z}$,$\ast>$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mathbb{Z}$, $\lambda$$x$,$y$. ($x$ =$_{0}$ $y$), $\lambda$$x$,$y$. $x$ $\leq$z $y$, $\lambda$$x$,$y$. $x$ $\ast$ $y$, 1, $\lambda$$x$.$x$$>$